Optimal. Leaf size=214 \[ \frac{3 \log \left (3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 \sqrt{3 x+2}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}}+\frac{3 \tan ^{-1}\left (\frac{2 \sqrt{3 x+2}+\sqrt{2 \left (2+\sqrt{13}\right )}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.488285, antiderivative size = 214, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 7, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.412 \[ \frac{3 \log \left (3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 \sqrt{3 x+2}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}}+\frac{3 \tan ^{-1}\left (\frac{2 \sqrt{3 x+2}+\sqrt{2 \left (2+\sqrt{13}\right )}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}} \]
Antiderivative was successfully verified.
[In] Int[Sqrt[2 + 3*x]/(1 + x^2),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 40.0976, size = 223, normalized size = 1.04 \[ \frac{3 \sqrt{2} \log{\left (3 x - \sqrt{2} \sqrt{2 + \sqrt{13}} \sqrt{3 x + 2} + 2 + \sqrt{13} \right )}}{4 \sqrt{2 + \sqrt{13}}} - \frac{3 \sqrt{2} \log{\left (3 x + \sqrt{2} \sqrt{2 + \sqrt{13}} \sqrt{3 x + 2} + 2 + \sqrt{13} \right )}}{4 \sqrt{2 + \sqrt{13}}} + \frac{3 \sqrt{2} \operatorname{atan}{\left (\frac{\sqrt{2} \left (\sqrt{3 x + 2} - \frac{\sqrt{4 + 2 \sqrt{13}}}{2}\right )}{\sqrt{-2 + \sqrt{13}}} \right )}}{2 \sqrt{-2 + \sqrt{13}}} + \frac{3 \sqrt{2} \operatorname{atan}{\left (\frac{\sqrt{2} \left (\sqrt{3 x + 2} + \frac{\sqrt{4 + 2 \sqrt{13}}}{2}\right )}{\sqrt{-2 + \sqrt{13}}} \right )}}{2 \sqrt{-2 + \sqrt{13}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((2+3*x)**(1/2)/(x**2+1),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.0793881, size = 59, normalized size = 0.28 \[ \frac{(3-2 i) \tan ^{-1}\left (\frac{\sqrt{3 x+2}}{\sqrt{-2-3 i}}\right )}{\sqrt{-2-3 i}}+\frac{(3+2 i) \tan ^{-1}\left (\frac{\sqrt{3 x+2}}{\sqrt{-2+3 i}}\right )}{\sqrt{-2+3 i}} \]
Antiderivative was successfully verified.
[In] Integrate[Sqrt[2 + 3*x]/(1 + x^2),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.123, size = 360, normalized size = 1.7 \[ -{\frac{\sqrt{4+2\,\sqrt{13}}}{6}\ln \left ( 2+3\,x+\sqrt{13}-\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }-{\frac{4+2\,\sqrt{13}}{3\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}-\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }+{\frac{\sqrt{4+2\,\sqrt{13}}\sqrt{13}}{12}\ln \left ( 2+3\,x+\sqrt{13}-\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }+{\frac{\sqrt{13} \left ( 4+2\,\sqrt{13} \right ) }{6\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}-\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }+{\frac{\sqrt{4+2\,\sqrt{13}}}{6}\ln \left ( 2+3\,x+\sqrt{13}+\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }-{\frac{4+2\,\sqrt{13}}{3\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}+\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }-{\frac{\sqrt{4+2\,\sqrt{13}}\sqrt{13}}{12}\ln \left ( 2+3\,x+\sqrt{13}+\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }+{\frac{\sqrt{13} \left ( 4+2\,\sqrt{13} \right ) }{6\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}+\sqrt{4+2\,\sqrt{13}} \right ) } \right ) } \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((2+3*x)^(1/2)/(x^2+1),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{3 \, x + 2}}{x^{2} + 1}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(3*x + 2)/(x^2 + 1),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.2421, size = 743, normalized size = 3.47 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(3*x + 2)/(x^2 + 1),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 9.14882, size = 32, normalized size = 0.15 \[ 6 \operatorname{RootSum}{\left (20736 t^{4} + 576 t^{2} + 13, \left ( t \mapsto t \log{\left (576 t^{3} + 8 t + \sqrt{3 x + 2} \right )} \right )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((2+3*x)**(1/2)/(x**2+1),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{3 \, x + 2}}{x^{2} + 1}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(3*x + 2)/(x^2 + 1),x, algorithm="giac")
[Out]